$\forall$$T$:Type, $l$:($T$ List), $a$,$x$:$T$. ($x$ $\in$ cons($a$; $l$)) $\Leftarrow\!\Rightarrow$ (($x$ = $a$) $\vee$ ($x$ $\in$ $l$))